Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 2489 results
Sort by: relevance publication year

III Axiomatization of Many-Valued Statement Calculi

BOOK CHAPTER published 1952 in Many-Valued Logics

https://doi.org/10.1016/s0049-237x(08)71409-5 Actions

V Axiomatization of Many-Valued Predicate Calculi

BOOK CHAPTER published 1952 in Many-Valued Logics

https://doi.org/10.1016/s0049-237x(08)71411-3 Actions

Many-Valued Similarity Reasoning. An Axiomatic Approach

JOURNAL ARTICLE published 1 January 2002 in Multiple-Valued Logic

Authors: KUKKURAINEN PAAVO | TURUNEN ESKO

https://doi.org/10.1080/10236620215302 Actions

Acknowledgments

BOOK CHAPTER published 1952 in Many-Valued Logics

https://doi.org/10.1016/s0049-237x(08)71406-x Actions

Quantifiers in rr1any-valued logic

BOOK CHAPTER published 16 December 1993 in Many-Valued Logics

Authors: Grzegorz Malinowski

https://doi.org/10.1093/oso/9780198537878.003.0012 Actions

Many valued paraconsistent logic

PROCEEDINGS ARTICLE published in Proceedings 31st IEEE International Symposium on Multiple-Valued Logic

Authors: C.G. Morgan

https://doi.org/10.1109/ismvl.2001.924583 Actions

Bibliography

BOOK CHAPTER published 1952 in Many-Valued Logics

https://doi.org/10.1016/s0049-237x(08)71414-9 Actions

Copyright page

BOOK CHAPTER published 1952 in Many-Valued Logics

https://doi.org/10.1016/s0049-237x(08)71405-8 Actions

Edited by

BOOK CHAPTER published 1952 in Many-Valued Logics

https://doi.org/10.1016/s0049-237x(08)71404-6 Actions

IV Foundations of the Theory of Quantification for Many-Valued Logics

BOOK CHAPTER published 1952 in Many-Valued Logics

https://doi.org/10.1016/s0049-237x(08)71410-1 Actions

Automata over MV-algebras [many-valued logic]

PROCEEDINGS ARTICLE published in Proceedings. 34th International Symposium on Multiple-Valued Logic

Authors: B. Gerla

https://doi.org/10.1109/ismvl.2004.1319919 Actions

I Introduction

BOOK CHAPTER published 1952 in Many-Valued Logics

https://doi.org/10.1016/s0049-237x(08)71407-1 Actions

What is many-valued logic?

PROCEEDINGS ARTICLE published in Proceedings 1997 27th International Symposium on Multiple- Valued Logic

Authors: J.-Y. Beziau

https://doi.org/10.1109/ismvl.1997.601384 Actions

The classical logic

BOOK CHAPTER published 16 December 1993 in Many-Valued Logics

Authors: Grzegorz Malinowski

https://doi.org/10.1093/oso/9780198537878.003.0002 Actions

II Truth Tables

BOOK CHAPTER published 1952 in Many-Valued Logics

https://doi.org/10.1016/s0049-237x(08)71408-3 Actions

Glossary of Symbols

BOOK CHAPTER published 1952 in Many-Valued Logics

https://doi.org/10.1016/s0049-237x(08)71415-0 Actions

A Survey of Many-Valued Logic (1966–1974)

BOOK CHAPTER published 1977 in Modern Uses of Multiple-Valued Logic

Authors: Robert G. Wolf

https://doi.org/10.1007/978-94-010-1161-7_7 Actions

Logic algebras and matrices

BOOK CHAPTER published 16 December 1993 in Many-Valued Logics

Authors: Grzegorz Malinowski

https://doi.org/10.1093/oso/9780198537878.003.0004 Actions

Many-Valued Logic and its Philosophy

BOOK CHAPTER published 2007 in The Many Valued and Nonmonotonic Turn in Logic

Authors: Gregorz Malinowski

https://doi.org/10.1016/s1874-5857(07)80004-5 Actions

VII Some Unsolved Problems

BOOK CHAPTER published 1952 in Many-Valued Logics

https://doi.org/10.1016/s0049-237x(08)71413-7 Actions
Feedback: support@crossref.org